A Few Results on Non-Preemptive Real Time Scheduling

In this paper, we investigate the non-preemptive scheduling problem as it arises in single processor systems. We focus on non-idling scheduling, the idling scheduling is briefly introduced in the lasts section. We extend some previously published results concerning preemptive and non-preemptive scheduling over a single processor. The main issue that we study in this article is the applicability and/or adaptation of results obtained in preemptive scheduling. In a first part we embark on revisiting aperiodic non idling non preemptive scheduling. We review complexity results and investigate conditions under which Earliest Deadline First is optimal in non preemptive scheduling. In a second part, we scrutinize periodic non idling non preemptive scheduling and we show that for non preemptive scheduling feasibility must be checked on a time interval of duration r+2P (r denotes the maximum of the release times and P the smallest common multiple of the task periods). We also show that a well established result concerning feasibility of task sets under non preemptive scheduling (no overload on any given time intervals) has no equivalence in non preemptive scheduling even if one takes into account the blocking factor. The third part is a very quick introduction to scheduling problems in an idling and non preemptive context. Key-words: Non-preemptive scheduling, aperiodic tasks, periodic tasks, feasibility, complexity, optimality, EDF (Earliest Deadline First). * Laurent Georges. IUT de Vitry / Dept GTR20, 120 rue Paul Armangot. 9400 Vitry sur Seine ** Nicolas Rivierre, CNET, 8 rue du Général Leclerc, 92794 Issy Moulineaux Cedex 9 Quelques résultats en ordonnancement non préemptif Cet article traite de l’ordonnancement non préemptif sur un mono-processeur. L’article concerne principalement l’ordonnancement non oisif bien que la dernière partie de l’article fournisse une introduction aux problèmes de l’ordonnancement non préemptif oisif. Il étend des résultats antérieurs concernant l’ordonnancement préemptif et non préemptif sur un monoprocesseur. Le principal problème étudié dans cet article est l’applicabilité et/ ou l’adaptation de résultats d’ordonnancement non préemptif. Dans une première partie, l’ordonnancement non oisif de tâches apériodiques est étudié ainsi que les conditions d’optimalité de la politique d’ordonnancement EPP (Echéance la plus Proche en Premier). Dans une seconde partie nous étudions l’ordonnancement non oisif et non préemptif de taches périodiques. Nous montrons d’abord que le test de faisabilité doit s’étendre sur une durée de r+2P où r est le dernier instant de génération d’un tache et P le plus petit commun multiple des périodes des taches en présence. Nous montrons aussi que le résultat bien établi de faisabilité en ordonnancement préemptif (pas de surcharge sur aucun intervalle) n’a pas d’équivalent en ordonnancement non préemptif même si l’on prend en compte le facteur de bloquage. La troisième et dernière partie de l’article présente une rapide introduction aux problèmes de l’ordonnancement oisif non préemptif. Mots-clé : Ordonnancement non préemptif, tache périodique, tache aperiodic, faisabilité complexité, optimalité A Few Results on non-preemptive real time scheduling 3